es{-}init{-}state(${\it es}$; $i$)($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$es{-}initially(${\it es}$; $i$; $x$)